package com.Clause.Biais;

import com.Clause.Clause;
import com.Clause.OperateurBinaire;
import com.Clause.Predicat;

public class NombreDeLiterauxCorps {
	
	public static boolean check = false;
	public static int valeur = 0;
	

	public static boolean accept(Clause clause, int nombre){
		if(clause.getRoot().getClass().equals(OperateurBinaire.class))
			return Biais.compter(((OperateurBinaire)clause.getRoot().getElement()).getPrecedent()
					,Predicat.class.toString()) == nombre;
		else
			return false;
	}
	
}
